Towards a logic for ‘because’

A Logic for 'Because'

In spite of its significance for everyday and philosophical discourse, the explanatory connective ‘because’ has not received much treatment in the philosophy of logic. The present paper develops a logic for ‘because’ based on systematic connections between ‘because’ and the truthfunctional connectives.

Sirolimus: A Rapid Treatment for Coagulopathy Because of Vascular Malformations

Towards a Logic for Reasoning About Logic Programs Transformation

We give a proof-theoretic analysis of logic programs transformations , viewed as operations on proof trees in the sense of 3, 4, 9, 10]. We present a logic for reasoning about (equivalence preserving) transformations of logic programs. Our main tool is the usage of inference rules; the target program may be obtained as a set of clause introduction proofs with axioms from the source program. The...

Towards a Possibilistic Logic

In this paper, we investigate how linguistic information can be incorporated into classical propositional logic. First, we show that Zadeh’s extension principle can be justified and at the same time generalized by considerations about transformation of possibility measures. Using these results, we show how linguistic uncertainty about the truth value of a proposition leads to the introduction o...

Towards A Logic For Causal Reasoning

Causality has recently entered, in one way or the other, a number of diierent theories of actions and change. It proved a very useful tool when addressing speciic representation problems in this area. However, none of these ad hoc notions of causal-ity provide a uniform platform for causal reasoning. The purpose of this paper is to make a rst step towards a pure logic of causal statements and c...